Buy Used and New Cas Cremers Books

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

by Cas Cremers,Sjouke Mauw

ISBN 13: 9783540786351

Format: Hardcover (188 pages)
Publisher: Springer
Published: 01 Jun 2011

Save for later

Security Standardisation Research: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings: 11322 (Lecture Notes in Computer Science)

by Cas Cremers, Anja Lehmann

ISBN 13: 9783030047610

Format: Paperback (188 pages)
Publisher: Springer Nature Switzerland AG
Published: 04 Jan 2019

Save for later